Formalising Web Services
نویسنده
چکیده
Despite the popularity of web services, creating them manually is an intricate task. Composite web services are defined using the evolving standard for BPEL (Business Process Execution Logic). It is explained how CRESS (Chisel Representation Employing Systematic Specification) has been extended to meet the challenge of graphically and formally describing web services. Sample CRESS descriptions are presented of web services. These are automatically translated into LOTOS, permitting rigorous analysis and automated validation.
منابع مشابه
When Things Go Wrong: Interrupting Conversations
This paper presents a true-concurrent approach to formalising integration of Small-to-Medium Enterprises (SMEs) with Web services. Our approach formalises common notions in service-oriented computing such as conversations (interactions between clients and web services), multi-party conversations (interactions between multiple web services) and coordination protocols, which are central in a tran...
متن کاملBuilding Mashups for the Enterprise with SABRE
The explosive popularity of mashups has given rise to a plethora of web-based tools for rapidly building mashups with minimal programming effort. In turn, this has spurred interest in using these tools to empower end-users to build situational applications for business. Situational applications based on Reo (SABRE) is a service composition platform that addresses service heterogeneity as a firs...
متن کاملSocial Information Systems Engineering: from Data to Knowledge Networks
The Information System representation is moving in a conflicting direction with organisations evolution, which have to be more accessible and transparent for the external environment in order to be able to anticipate on the market moves and trends. The existing separated layers between internal users and end products or services users are harmful to the normal business process continuity. With ...
متن کاملFormalising Service-Oriented Design
Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of service discovery and orchestration, business process modelling, and the semantic web. While these are all important aspects for moving towards the pervasive adoption of SOC, most existing work assumes the existence of bla...
متن کامل